1

Of Golden Proportions

Année:
2000
Langue:
english
Fichier:
PDF, 966 KB
english, 2000
2

Linear response time for implicate and implicant queries

Année:
2010
Langue:
english
Fichier:
PDF, 585 KB
english, 2010
3

A Framework for Automated Reasoning in Multiple-Valued Logics

Année:
1998
Langue:
english
Fichier:
PDF, 308 KB
english, 1998
4

Canadian Society for Surgery of the Hand

Année:
1990
Langue:
english
Fichier:
PDF, 3.57 MB
english, 1990
6

On the relative merits of path dissolution and the method of analytic tableaux

Année:
1994
Langue:
english
Fichier:
PDF, 1.63 MB
english, 1994
8

Linearity and regularity with negation normal form

Année:
2004
Langue:
english
Fichier:
PDF, 362 KB
english, 2004
9

℧-resolution and hybrid knowledge bases

Année:
2001
Langue:
english
Fichier:
PDF, 200 KB
english, 2001
10

Theory links: Applications to automated theorem proving

Année:
1987
Langue:
english
Fichier:
PDF, 1.01 MB
english, 1987
12

Efficient Query Processing with Reduced Implicate Tries

Année:
2007
Langue:
english
Fichier:
PDF, 401 KB
english, 2007
14

A remark on Burnside's theorem on matrix algebras

Année:
1984
Langue:
english
Fichier:
PDF, 178 KB
english, 1984
15

Analyzing Roll Calls with Perfect Spatial Voting: France 1946–1958

Année:
2004
Langue:
english
Fichier:
PDF, 231 KB
english, 2004
17

Measuring legal systems

Année:
2007
Langue:
english
Fichier:
PDF, 779 KB
english, 2007
21

Questions Hand Therapists Ask about Treatment of Tendon Injuries

Année:
2005
Langue:
english
Fichier:
PDF, 80 KB
english, 2005
22

An Application of P4-Free Graphs in Theorem-Proving

Année:
1989
Langue:
english
Fichier:
PDF, 775 KB
english, 1989
23

American Society for Surgery of the Hand

Année:
1989
Langue:
english
Fichier:
PDF, 2.44 MB
english, 1989
25

Dissolution: making paths vanish

Année:
1993
Langue:
english
Fichier:
PDF, 1.89 MB
english, 1993
26

Inference with path resolution and semantic graphs

Année:
1987
Langue:
english
Fichier:
PDF, 2.21 MB
english, 1987
28

Analyzing Roll Calls with Perfect Spatial Voting: France 1946-1958

Année:
2004
Langue:
english
Fichier:
PDF, 2.81 MB
english, 2004
29

Power Bounded Strictly Cyclic Operators

Année:
1978
Langue:
english
Fichier:
PDF, 174 KB
english, 1978
35

Measuring Legal Systems

Année:
2007
Langue:
english
Fichier:
PDF, 693 KB
english, 2007